Verification of markov decision processes using learning algorithms

机译：使用学习算法验证马尔可夫决策过程

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Krishnendu Chatterjee; Marta Kwiatkowska; David Parker; Mateusz Ujma;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. ${Q}$-Learning Algorithms for Constrained Markov Decision Processes With Randomized Monotone Policies: Application to MIMO Transmission Control [J] . Dejan V. Djonin, Vikram Krishnamurthy IEEE Transactions on Signal Processing . 2007,第期

机译：带有随机单调策略的约束Markov决策过程的$ {Q} $-学习算法：在MIMO传输控制中的应用
2. Reinforcement learning based algorithms for average cost Markov Decision Processes [J] . Abdulla MS, Bhatnagar S Discrete event dynamic systems: Theory and applications . 2007,第1期

机译：基于增强学习的平均成本马尔可夫决策过程算法
3. Reinforcement Learning Based Algorithms for Average Cost Markov Decision Processes [J] . Mohammed Shahid Abdulla, Shalabh Bhatnagar Discrete Event Dynamic Systems . 2007,第1期

机译：基于增强学习的平均成本马尔可夫决策过程算法
4. Verification of Markov Decision Processes Using Learning Algorithms [C] . Tomas Brazdil, Krishnendu Chatterjee, Martin Chmelik, International symposium on automated technology for verification and analysis . 2014

机译：使用学习算法验证马尔可夫决策过程
5. A New Reinforcement Learning Algorithm with Fixed Exploration for Semi-Markov Decision Processes [D] . Encapera, Angelo Michael. 2017

机译：半马尔可夫决策过程的固定探索新强化学习算法
6. Learning to maximize reward rate: a model based on semi-Markov decision processes [O] . Arash Khodadadi, Pegah Fakhari, Jerome R. Busemeyer 2014

机译：学习最大化奖励率：基于半马尔可夫决策过程的模型
7. Verification of Markov Decision Processes using Learning Algorithms [O] . Brázdil, Tomáš, Chatterjee, Krishnendu, Chmelík, Martin, 2015

机译：利用学习算法验证马尔可夫决策过程

Verification of markov decision processes using learning algorithms

著录项

引文网络

相似文献

相关主题

期刊订阅